例句與造句

1. Beyond giving insight into intuitionistic provability, realizability can be applied to prove the disjunction and existence properties for intuitionistic theories and to extract programs from proofs, as in proof mining.
2. It's difficult to find extract program in a sentence. 用extract program造句挺難的